Elément conjugué dual \(\varphi\) de \(x\in E\)
Forme linéaire \(\varphi\in E^*\) telle que $$\varphi(x)=\lVert x\rVert_E\lVert \varphi\rVert_{E^*}\quad\text{ et }\quad\lVert x\rVert_E=\lVert\varphi\rVert_{E^*}$$
- on a existence (pas unicité !) d'un tel élément